Automated deduction Vol. 1, Foundations : calculi and methods - a basis for applications
- Författare
- (Edited by Wolfgang Bibel and Peter H. Schmitt)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Kluwer Academic | c1998 | Storbritannien, Dordrecht, London | xx, 480 sidor. : ill 25cm | 0-7923-5132-0, 0-7923-5129-0 |
| Kluwer Academic | c1998 | Storbritannien, Dordrecht, London | xiv, 434 sidor. : ill 25cm | 0-7923-5132-0, 0-7923-5130-4 |
| Kluwer Academic | c1998 | Storbritannien, Dordrecht, London | xii, 334 sidor. : ill 25cm | 0-7923-5132-0, 0-7923-5131-2 |